First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
881	Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-02-17 11:19:27 Metalogic Model theory Semantics Formal languages First-order logic Interpretation Function Quantification Well-formed formula Logic Mathematical logic Predicate logic
882	AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:44 Logic in computer science Automated theorem proving Logic programming Model theory Predicate logic ΛProlog First-order logic Prolog Interpretation Logic Mathematical logic Mathematics
883	Project proposal Generic Decision Procedures for Many-valued Logics Acci´on Integrada Hispano-Austr´ıacas Gernot Salzer Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-09-21 05:04:02 Fuzzy logic Logic in computer science Many-valued logic Model theory Automated theorem proving First-order logic Natural deduction Modal logic Łukasiewicz logic Logic Mathematical logic Non-classical logic
884	PLENUM THEORY Nicholas Rescher and Patrick Grim 1. INTRODUCTION Plena are large-scale macro-totalities appropriate to the realms of all facts, all truths, and all things. Our attempt here is to take some first technical Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2008-01-28 13:41:12 Set theory Function Finitary relation Total order Plena Imaginary Constructible universe Mathematics Mathematical logic Logic
885	A characterization of definability of second-order generalized quantifiers with applications to non-definability Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-05-22 21:58:50 Finite model theory Model theory Propositional calculus FO First-order logic Interpretation HO Entailment Substitution Logic Mathematical logic Theoretical computer science
886	Logic-Flow Analysis of Higher-Order Programs Matthew Might Georgia Institute of Technology [removed] Abstract Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Homeric epics Philosophy of mathematics Symbol First-order logic Mathematics
887	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
888	Semantic Penumbra: Concept Similarity in Logic [removed]John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:11 Propositional calculus Logical consequence Mathematical logic Entailment Paraconsistent logic First-order logic Interpretation Modal logic Relevance logic Logic Philosophical logic Non-classical logic
889	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic
890	Common Logic A Framework for a Family Of Logic-Based Languages John F. Sowa 19 May 2008 Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2008-10-30 13:57:13 Diagrams Philosophy of science Philosophical logic Mathematical logic Conceptual graph Common logic First-order logic Charles Sanders Peirce Semantics Logic Science Philosophy

UPDATE